Nuprl Definition : int_lower
12,41
postcript
pdf
{...
i
} == {
j
:
|
j
i
}
latex
Definitions
{
x
:
A
|
B
(
x
)}
,
,
A
B
FDL editor aliases
int_lower
origin
| j 
i} | j i} B